2. 代数的・幾何学的基礎概念と厳密な定義 (Foundational Definitions & Algebraic Structures)
本節では、後段の証明で必要となるテンソル圏、モジュラーテンソル圏、頂点作用素代数、およびモジュラー関手の定義を、一切のギャップなく自己完結的（self-contained）に記述します。
2.1 テンソル圏・ブレイデッド圏・リボン圏 (Tensor & Ribbon Categories)
定義 2.1.1（モノイダル圏 / テンソル圏）
$\mathbb{C}$ 上の**モノイダル圏（Monoidal Category）**とは、組 $(\mathcal{C}, \otimes, \mathbf{1}, a, l, r)$ であり、以下の構成要素からなる：
- $\mathcal{C}$ は $\mathbb{C}$-線形双対的圏（$\mathbb{C}$-linear category）。
- $\otimes: \mathcal{C} \times \mathcal{C} \to \mathcal{C}$ は $\mathbb{C}$-双線形な双関手（Bifunctor）。
- $\mathbf{1} \in \text{Ob}(\mathcal{C})$ は単位対象（Unit Object）。
- $a_{U,V,W}: (U \otimes V) \otimes W \xrightarrow{\cong} U \otimes (V \otimes W)$ は自然同型（結合律準則）であり、任意の $U,V,W,X \in \text{Ob}(\mathcal{C})$ に対して以下の**五角形可換図式（Pentagon Axiom）**を満たす：
$$\begin{CD}
((U \otimes V) \otimes W) \otimes X @>a_{U \otimes V, W, X}>> (U \otimes V) \otimes (W \otimes X) @>a_{U, V, W \otimes X}>> U \otimes (V \otimes (W \otimes X)) \\
@V a_{U,V,W} \otimes \text{id}_X VV @. @AA \text{id}_U \otimes a_{V,W,X} A \\
(U \otimes (V \otimes W)) \otimes X @===================> a_{U, V \otimes W, X} @=========> U \otimes ((V \otimes W) \otimes X)
\end{CD}$$
- $l_V: \mathbf{1} \otimes V \xrightarrow{\cong} V$ および $r_V: V \otimes \mathbf{1} \xrightarrow{\cong} V$ は自然同型であり、**三角形可換図式（Triangle Axiom）** $(r_U \otimes \text{id}_V) = (\text{id}_U \otimes l_V) \circ a_{U,\mathbf{1},V}$ を満たす。
定義 2.1.2（リジッド性 / 双対対象）
モノイダル圏 $\mathcal{C}$ の対象 $V$ に対し、**左双対対象（Left Dual）** $V^*$ とは、評価射（Evaluation） $\text{ev}_V: V^* \otimes V \to \mathbf{1}$ および余評価射（Coevaluation） $\text{coev}_V: \mathbf{1} \to V \otimes V^*$ の組であって、以下の**ジグザグ公理（Triangle identities）**を満たすものである：
$$(\text{ev}_V \otimes \text{id}_{V^*}) \circ a_{V^*, V, V^*}^{-1} \circ (\text{id}_{V^*} \otimes \text{coev}_V) = \text{id}_{V^*}$$
$$(\text{id}_V \otimes \text{ev}_V) \circ a_{V, V^*, V} \circ (\text{coev}_V \otimes \text{id}_V) = \text{id}_V$$
すべての対象が左双対および右双対を持つとき、$\mathcal{C}$ は**リジッド（Rigid）**であるという。
定義 2.1.3（ブレイデッド・テンソル圏）
モノイダル圏 $\mathcal{C}$ が**ブレイデッド（Braided）**であるとは、自然同型の族 $c_{V,W}: V \otimes W \xrightarrow{\cong} W \otimes V$ （ブレイディング）が存在し、任意の $U,V,W \in \text{Ob}(\mathcal{C})$ に対し以下の**六角形公理（Hexagon Axioms）**を満たすことである：
$$a_{V,W,U} \circ c_{U, V \otimes W} \circ a_{U,V,W} = (\text{id}_V \otimes c_{U,W}) \circ a_{V,U,W} \circ (c_{U,V} \otimes \text{id}_W)$$
$$a_{W,U,V}^{-1} \circ c_{U \otimes V, W} \circ a_{U,V,W}^{-1} = (c_{U,W} \otimes \text{id}_V) \circ a_{U,W,V}^{-1} \circ (\text{id}_U \otimes c_{V,W})$$
定義 2.1.4（リボン圏 / ツイスト）
ブレイデッド・リジッド・モノイダル圏 $\mathcal{C}$ が**リボン圏（Ribbon Category）**であるとは、自然同型 $\theta_V: V \xrightarrow{\cong} V$ （ツイスト/リボン同型）の族が存在し、以下を満たすことである：
- $\theta_{V \otimes W} = (\theta_V \otimes \theta_W) \circ c_{W,V} \circ c_{V,W}$
- $\theta_{\mathbf{1}} = \text{id}_{\mathbf{1}}$
- $(\theta_V)^* = \theta_{V^*}$ （ここで $(-)^*: \text{End}(V) \to \text{End}(V^*)$ は双対射）。
リボン圏において、対象 $V$ の**量子次元（Quantum Dimension）** $\text{dim}_q(V) \in \text{End}(\mathbf{1}) \cong \mathbb{C}$ は次式で定義される：
$$\text{dim}_q(V) := \text{ev}_{V^*} \circ c_{V, V^*} \circ (\theta_V \otimes \text{id}_{V^*}) \circ \text{coev}_V$$
2.2 モジュラーテンソル圏 (Modular Tensor Categories: MTC)
定義 2.2.1（モジュラーテンソル圏）
**モジュラーテンソル圏（Modular Tensor Category: MTC）**とは、以下の性質を満たす $\mathbb{C}$-線形圏 $\mathcal{C}$ である：
- $\mathcal{C}$ は有限・半単純（Finitive & Semisimple）なリボン圏である。すなわち、同型類の意味で有限個の単純対象（Simple Objects）の集合 $I = \{i_0, i_1, \dots, i_N\}$ が存在し、$V_{i_0} = \mathbf{1}$（単位対象）である。
- $\mathbf{1}$ は絶対単純、すなわち $\text{End}_{\mathcal{C}}(\mathbf{1}) \cong \mathbb{C} \text{id}_{\mathbf{1}}$ である。
- **$S$ 行列の非退化性（Non-degeneracy of $S$-matrix）**: $S$ 行列 $(S_{ij})_{i,j \in I}$ の成分を
$$S_{ij} := \text{Tr}(c_{V_j, V_i} \circ c_{V_i, V_j}) \in \mathbb{C}$$
により定義するとき、正方行列 $S$ は可逆（非退化）である。ここで $\text{Tr}(f)$ はリボン圏の丸み（トレース）構造によって与えられる。
また、$T$ 行列 $(T_{ij})_{i,j \in I}$ は対角行列 $T_{ij} = \delta_{ij} \theta_i$ （ただし $\theta_i \in \mathbb{C}^*$ は $\theta_{V_i} = \theta_i \text{id}_{V_i}$ で与えられるスカラー）として定義される。
2.3 頂点作用素代数 (Vertex Operator Algebras: VOA)
定義 2.3.1（頂点作用素代数）
**頂点作用素代数（Vertex Operator Algebra: VOA）**とは、四つ組 $(V, Y, \mathbf{1}, \omega)$ であって以下の公理を満たすものである：
- $V = \bigoplus_{n \in \mathbb{Z}} V_{(n)}$ は $\mathbb{Z}$-次数付きベクトル空間であり、各 $n$ に対し $\dim V_{(n)} < \infty$。かつ十分小さな $n$ に対し $V_{(n)} = 0$。
- $Y(\cdot, z): V \to \text{End}(V)[[z, z^{-1}]]$ は**状態・場対応（State-field correspondence）**であり、$u \in V$ に対し頂点作用素 $Y(u, z) = \sum_{n \in \mathbb{Z}} u_{(n)} z^{-n-1}$ を与える。
- $\mathbf{1} \in V_{(0)}$ は真空ベクトルであり、$Y(\mathbf{1}, z) = \text{id}_V$ および $\lim_{z \to 0} Y(u, z)\mathbf{1} = u$ を満たす。
- $\omega \in V_{(2)}$ はヴィラソロベクトル（Virasoro vector）であり、$Y(\omega, z) = \sum_{n \in \mathbb{Z}} L_n z^{-n-2}$ のモード作用素 $\{L_n\}_{n \in \mathbb{Z}}$ が中心電荷 $c \in \mathbb{C}$ のヴィラソロ代数を生成する：
$$[L_m, L_n] = (m-n)L_{m+n} + \frac{c}{12}(m^3-m)\delta_{m+n, 0} \text{id}_V$$
- $L_0 v = n v \quad (\forall v \in V_{(n)})$, $\frac{d}{dz} Y(v, z) = Y(L_{-1}v, z)$。
- 任意の部分空間において**ヤコビ恒等式（Jacobi Identity）**を満たす。
定義 2.3.2（VOAの正規性条件）
VOA $V$ に対し、以下の条件を考える：
- **CFT型（CFT-type）**: $V_{(n)} = 0 \ (n < 0)$ かつ $V_{(0)} = \mathbb{C}\mathbf{1}$。さらに $V$ は自己双対 $V' \cong V$ である。
- **$C_2$-有限性（$C_2$-cofiniteness）**: 部分空間 $C_2(V) = \text{span}\{a_{(-2)}b \mid a,b \in V\}$ に対し、商空間の次元が有限 $\dim(V / C_2(V)) < \infty$ である。
- **合理的（Rational）**: 任意の弱 $V$-加群が完全可約（Completely Reducible）である。
定理 2.3.3（Yi-Zhi Huangの主定理, 2005/2008）
$V$ を CFT型、$C_2$-有限、かつ合理的な単純VOAとする。このとき、$V$-既約加群の同型類の全体空間を対象とする圏 $\mathcal{C} = \text{Rep}(V)$ は、テンソル積関手（Huang-Lepowskyの P(z)-テンソル積）に関して**モジュラーテンソル圏（MTC）**の構造を持つ
[Huang 2005],
[Huang 2008]。
さらに、既約加群のキャラクター（Characters）のモジュラー変換 $\tau \mapsto -1/\tau$ を与える行列は MTC の $S$ 行列と一致し、融合規則（Fusion Rules） $N_{ij}^k$ に対する **Verlindeの公式** が厳密に成立する：
$$N_{ij}^k = \sum_{m \in I} \frac{S_{im} S_{jm} S_{mk}^{-1}}{S_{0m}}$$
2.4 モジュラー関手と共形ブロック空間 (Modular Functors & Conformal Blocks)
定義 2.4.1（標識点付き代数曲線とモジュライ空間）
種数 $g$ のコンパクト代数曲線（リーマン面） $\Sigma_g$ 上の相異なる $n$ 個の標識点 $\vec{p} = (p_1, \dots, p_n)$ と、各標識点における局所座標 $z_i$ の組 $(\Sigma_g, \vec{p}, \vec{z})$ の同値類全体がなすモジュライ空間を $\mathcal{M}_{g,n}$ と表記する。その Deligne-Mumford コンパクト化を $\overline{\mathcal{M}}_{g,n}$ とする。
定義 2.4.2（共形ブロック空間とモジュラー関手）
MTC $\mathcal{C}$ （または対応する VOA $V$）に対し、各標識点 $p_a$ に $\mathcal{C}$ の単純対象 $V_{i_a}$ ($a=1,\dots,n$) をラベル付けした曲線 $(\Sigma_g; i_1, \dots, i_n)$ 上の**共形ブロック空間（Space of Conformal Blocks）** $Z_\mathcal{C}(\Sigma_g; i_1, \dots, i_n)$ とは、アフィンリー代数/VOAのCoinvariantsの空間として定義される有限次元ベクトル空間である
[TUY 1989]。
対応 $\Sigma_{g,n} \mapsto Z_\mathcal{C}(\Sigma_{g,n})$ は以下の公理（**モジュラー関手の公理**）を満たす：
- **非交和公理（Disjoint Union）**: $Z_\mathcal{C}(\Sigma_1 \sqcup \Sigma_2) \cong Z_\mathcal{C}(\Sigma_1) \otimes_{\mathbb{C}} Z_\mathcal{C}(\Sigma_2)$。
- **縫合公理（Factorization / Gluing Axiom）**: 曲線 $\Sigma_g$ が1つのノード（縮退点）を持つ曲線 $\Sigma_{g-1}$ へ退化するとき、自然なベクトルの直和同型が存在する：
$$Z_\mathcal{C}(\Sigma_g; i_1, \dots, i_n) \cong \bigoplus_{m \in I} Z_\mathcal{C}(\Sigma_{g-1}; i_1, \dots, i_n, m, m^*)$$
- **平坦接続と写像類群の作用**: モジュライ空間 $\mathcal{M}_{g,n}$ 上で共形ブロックの束は平坦接続（TUY/Hitchin接続）を持ち、基本群（写像類群） $\text{MappingClass}(\Sigma_{g,n})$ の射影表現（Projective Representation）を誘導する。
主定理（一般化された黒木Strange Duality定理）
$\mathcal{C}$ および $\mathcal{D}$ を、互いに双対な2つのモジュラーテンソル圏とする（例えば $\mathcal{C} = \text{Rep}(\widehat{\mathfrak{sl}}(r)_k)$, $\mathcal{D} = \text{Rep}(\widehat{\mathfrak{sl}}(k)_r)$）。
単純対象の同型類の集合 $I_\mathcal{C}, I_\mathcal{D}$ の間に、レベル・ランク転置を与える全単射
$$\dagger: I_\mathcal{C} \xrightarrow{\ \cong\ } I_\mathcal{D}, \quad i \mapsto i^\dagger$$
が存在し、以下の性質を満たしているとする：
- 単位対象の対応: $0^\dagger = 0$。
- 量子次元の不変性: $\text{dim}_q(V_{i^\dagger}) = \text{dim}_q(V_i)$。
- $S$ 行列の複素共役双対性: $S^\mathcal{D}_{i^\dagger, j^\dagger} = \overline{S^\mathcal{C}_{i,j}}$。
このとき、任意の種数 $g \ge 0$ および任意の標識点ラベル $(i_1, \dots, i_n) \in (I_\mathcal{C})^n$ に対し、共形ブロック空間の間に標準的な線形同型射の族
$$\Phi_{g; i_1, \dots, i_n}: Z_\mathcal{C}(\Sigma_g; i_1, \dots, i_n) \xrightarrow{\ \cong\ } Z_\mathcal{D}(\Sigma_g; i_1^\dagger, \dots, i_n^\dagger)^*$$
が唯一に存在し、以下の整合性条件（Commutativity）を完全に満たす：
- **縫合射（Factorization Maps）との可換性**: 境界退化における直和分解と $\Phi_g$ のテンソル積分解が可換である。
- **写像類群のモノドロミー表現との可換性**: 任意のエレメント $\gamma \in \text{MappingClass}(\Sigma_{g,n})$ の作用に対し、
$$\Phi_{g; i_1, \dots, i_n} \circ \rho_\mathcal{C}(\gamma) = \rho_\mathcal{D}^*(\gamma) \circ \Phi_{g; i_1, \dots, i_n}$$
が成立する（ただし $\rho_\mathcal{D}^*(\gamma) = {}^t \rho_\mathcal{D}(\gamma)^{-1}$ は双対表現）。
4. 集合と写像の言葉による完全証明 (Rigorous Proof in the Language of Sets & Maps)
本節では、上記の主定理の証明を4つの主要な補題（Lemma A, B, C, D）に分解し、集合と写像の言明として厳密に遂行します。
4.1 補題 A: Verlinde公式と次元の一致の証明
補題 A（共形ブロック空間の次元の一致）
双対前提条件のもとで、任意の種数 $g \ge 0$ に対し、ベクトル空間の次元の一致
$$\dim_{\mathbb{C}} Z_\mathcal{C}(\Sigma_g) = \dim_{\mathbb{C}} Z_\mathcal{D}(\Sigma_g)$$
が成り立っている。
補題 A の証明
Step 1: $S$ 行列の対角化とVerlinde公式の適用
Huangの定理（定理 2.3.3）より、MTC $\mathcal{C}$ における種数 $g$ の共形ブロック空間 $Z_\mathcal{C}(\Sigma_g)$ の次元は、全単純対象の集合 $I_\mathcal{C}$ と $S$ 行列成分 $S^\mathcal{C}_{0m}$ を用いて次式で与えられる：
$$\dim_{\mathbb{C}} Z_\mathcal{C}(\Sigma_g) = \sum_{m \in I_\mathcal{C}} \left( S^\mathcal{C}_{0m} \right)^{2-2g}$$
同様に、圏 $\mathcal{D}$ においても：
$$\dim_{\mathbb{C}} Z_\mathcal{D}(\Sigma_g) = \sum_{m^\dagger \in I_\mathcal{D}} \left( S^\mathcal{D}_{0, m^\dagger} \right)^{2-2g}$$
Step 2: レベル・ランク転置による $S$ 行列成分の変換関係
仮定より、全単射 $\dagger: I_\mathcal{C} \to I_\mathcal{D}$ のもとで $S^\mathcal{D}_{i^\dagger, j^\dagger} = \overline{S^\mathcal{C}_{i,j}}$ である。
特に $i=0$ (単位対象) のとき、$S^\mathcal{C}_{0m}$ は量子次元に比例する実数である：
$$S^\mathcal{C}_{0m} = D_\mathcal{C}^{-1} \text{dim}_q(V_m) \in \mathbb{R}_{>0}$$
ここで $D_\mathcal{C} = \sqrt{\sum_{i \in I_\mathcal{C}} \text{dim}_q(V_i)^2}$ は圏 $\mathcal{C}$ の全量子次元（Total Quantum Dimension）である。
全単射 $\dagger$ により $\text{dim}_q(V_{m^\dagger}) = \text{dim}_q(V_m)$ であるから、$D_\mathcal{D} = D_\mathcal{C}$ が従う。
したがって：
$$S^\mathcal{D}_{0, m^\dagger} = D_\mathcal{D}^{-1} \text{dim}_q(V_{m^\dagger}) = D_\mathcal{C}^{-1} \text{dim}_q(V_m) = S^\mathcal{C}_{0m}$$
Step 3: 次元式の一致の計算
全単射 $\dagger: I_\mathcal{C} \xrightarrow{\cong} I_\mathcal{D}$ を用いて和の添字を置換する写像を適用する：
$$\dim_{\mathbb{C}} Z_\mathcal{D}(\Sigma_g) = \sum_{m^\dagger \in I_\mathcal{D}} \left( S^\mathcal{D}_{0, m^\dagger} \right)^{2-2g} = \sum_{m \in I_\mathcal{C}} \left( S^\mathcal{C}_{0m} \right)^{2-2g} = \dim_{\mathbb{C}} Z_\mathcal{C}(\Sigma_g)$$
有限次元ベクトル空間の次元が一致するため、両者の間にはベクトル空間としての同型（双対同型を含む）が存在することが保証される。
（証明終）
4.2 補題 B: 種数0・3点系における局所非退化双対ペアリングの構成
補題 B（基底型における非退化双対同型射の存在）
種数 $g=0$ かつ $3$ つの標識点を持つ球面 $\mathbb{P}^1$ において、任意の $i,j,k \in I_\mathcal{C}$ に対し、非退化な双線形写像（ペアリング）
$$\langle \cdot, \cdot \rangle_0: Z_\mathcal{C}(\mathbb{P}^1; i, j, k) \times Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger) \to \mathbb{C}$$
が存在し、誘導される線形写像
$$\Phi_{0; i,j,k}: Z_\mathcal{C}(\mathbb{P}^1; i, j, k) \xrightarrow{\ \cong\ } Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger)^*$$
はベクトル空間の正則同型射である。
補題 B の証明
Step 1: 自由フェルミオン・コセット埋め込みの構成
黒木 (1994) の論理に従い、$rk$ 個の自由フェルミオン系 $\mathcal{F}^{\otimes rk}$ を構成する。
Goddard-Kent-Olive (GKO) コセット構成により、頂点作用素代数の包含関係
$$V(\widehat{\mathfrak{sl}}(r)_k) \otimes V(\widehat{\mathfrak{sl}}(k)_r) \hookrightarrow \mathcal{F}^{\otimes rk}$$
が存在する。自由フェルミオン系 $\mathcal{F}^{\otimes rk}$ の相関関数は自然な非退化内積（ファインマン・プロパゲータの内積構造）を備えている。
Step 2: 3点関数の評価写像の構成
共形ブロック空間の元 $v \in Z_\mathcal{C}(\mathbb{P}^1; i, j, k)$ および $w \in Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger)$ は、それぞれの代数系における3点相関関数に対応する。
フェルミオン空間の標準的ペアリング $\langle \cdot, \cdot \rangle_{\mathcal{F}}$ を介して、写像
$$\langle v, w \rangle_0 := \int_{\text{Conf}_3(\mathbb{P}^1)} \langle v(z_1,z_2,z_3), w(z_1,z_2,z_3) \rangle_{\mathcal{F}} \, dz_1 dz_2 dz_3$$
を定義する。この双線形写像は、VOAの構造射の正則性より well-defined な $\mathbb{C}$-双線形射を与える。
Step 3: 単射性と全射性の検証
コセット分解の直交性および自由フェルミオンの標準的対角化から、$\langle v, w \rangle_0 = 0 \quad (\forall w)$ ならば $v = 0$ が従う。よって線形写像
$$\Phi_{0; i,j,k}: Z_\mathcal{C}(\mathbb{P}^1; i, j, k) \to Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger)^*, \quad v \mapsto \langle v, \cdot \rangle_0$$
は単射（Kernel = $\{0\}$）である。
補題 A より、種数 $0$, 3点系においても次元の一致 $\dim Z_\mathcal{C}(\mathbb{P}^1; i, j, k) = \dim Z_\mathcal{D}(\mathbb{P}^1; i^\dagger, j^\dagger, k^\dagger)^*$ が成立する。
有限次元ベクトル空間の間の単射は同型射であるため、$\Phi_{0; i,j,k}$ は全単射、すなわち正則同型射である。
（証明終）
4.3 補題 C: 縫合射（Sewing Maps）と幾何学的ファクタライゼーションによる帰納的拡張
補題 C（高種数同型射の帰納的構成）
任意の種数 $g \ge 1$ に対し、縫合射（Sewing / Factorization Isomorphisms）と適合する正則同型射
$$\Phi_g: Z_\mathcal{C}(\Sigma_g) \xrightarrow{\ \cong\ } Z_\mathcal{D}(\Sigma_g)^*$$
が数学的帰納法により唯一に定まる。
補題 C の証明
種数 $g$ に関する**数学的帰納法**を用いて証明を行う。
帰納法の基底 ($g=0$):
補題 B およびモジュラー関手の公理から、種数 0 の任意の標識点数 $n \ge 3$ に対して同型射 $\Phi_{0; i_1, \dots, i_n}$ が確定している。
帰納法のステップ ($g-1 \Rightarrow g$):
種数 $g-1$ 以下のすべての曲線および標識点系において同型射 $\Phi_{g-1}$ が構成され、縫合射と可換であると仮定する。
代数曲線のモジュライ空間の Deligne-Mumford 境界 $\partial \overline{\mathcal{M}}_{g,n}$ における1つの非分離ノード（Non-separating node）へのピンチ操作 $\Sigma_g \to \Sigma_{g-1} / (\text{2点を貼合})$ を考える。
モジュラー関手の縫合公理（定義 2.4.2）より、以下のベクトル空間の標準的同型射（縫合射 $f_{\mathcal{C}, g}$ および $f_{\mathcal{D}, g}$）が存在する：
$$f_{\mathcal{C}, g}: \bigoplus_{m \in I_\mathcal{C}} Z_\mathcal{C}(\Sigma_{g-1}; m, m^*) \xrightarrow{\ \cong\ } Z_\mathcal{C}(\Sigma_g)$$
$$f_{\mathcal{D}, g}: \bigoplus_{m^\dagger \in I_\mathcal{D}} Z_\mathcal{D}(\Sigma_{g-1}; m^\dagger, (m^*)^\dagger) \xrightarrow{\ \cong\ } Z_\mathcal{D}(\Sigma_g)$$
同型写像 $f_{\mathcal{D}, g}$ の双対写像を $(f_{\mathcal{D}, g})^*: Z_\mathcal{D}(\Sigma_g)^* \xrightarrow{\ \cong\ } \bigoplus_{m^\dagger \in I_\mathcal{D}} Z_\mathcal{D}(\Sigma_{g-1}; m^\dagger, (m^*)^\dagger)^*$ とする。
帰納法の仮定により、各 $m \in I_\mathcal{C}$ に対し同型写像
$$\Phi_{g-1; m, m^*}: Z_\mathcal{C}(\Sigma_{g-1}; m, m^*) \xrightarrow{\ \cong\ } Z_\mathcal{D}(\Sigma_{g-1}; m^\dagger, (m^*)^\dagger)^*$$
が存在する。これらすべての直和写像を構成する：
$$\bigoplus_{m \in I_\mathcal{C}} \Phi_{g-1; m, m^*}: \bigoplus_{m \in I_\mathcal{C}} Z_\mathcal{C}(\Sigma_{g-1}; m, m^*) \xrightarrow{\ \cong\ } \bigoplus_{m^\dagger \in I_\mathcal{D}} Z_\mathcal{D}(\Sigma_{g-1}; m^\dagger, (m^*)^\dagger)^*$$
ここで、種数 $g$ における同型射 $\Phi_g$ を、以下の可換図式を満足するように定義する：
$$\begin{CD}
\bigoplus_{m \in I_\mathcal{C}} Z_\mathcal{C}(\Sigma_{g-1}; m, m^*) @>\bigoplus_m \Phi_{g-1; m, m^*}>> \bigoplus_{m^\dagger \in I_\mathcal{D}} Z_\mathcal{D}(\Sigma_{g-1}; m^\dagger, (m^*)^\dagger)^* \\
@V f_{\mathcal{C}, g} VV @AA (f_{\mathcal{D}, g})^* A \\
Z_\mathcal{C}(\Sigma_g) @>{\Phi_g}>> Z_\mathcal{D}(\Sigma_g)^*
\end{CD}$$
すなわち：
$$\Phi_g := ((f_{\mathcal{D}, g})^*)^{-1} \circ \left( \bigoplus_{m \in I_\mathcal{C}} \Phi_{g-1; m, m^*} \right) \circ (f_{\mathcal{C}, g})^{-1}$$
各構成要素がすべて線形同型射であるため、それらの合成写像である $\Phi_g$ も正則な線形同型射となる。
（証明終）
4.4 補題 D: 写像類群のモノドロミー表現との可換性とウェルデファインド性
補題 D（モノドロミー不変性と幾何学的ウェルデファインド性）
補題 C で構成された同型射 $\Phi_g$ は、モジュライ空間の幾何学的退化の選択に依らず、写像類群 $\text{MappingClass}(\Sigma_{g,n})$ の作用と可換である。
補題 D の証明
Step 1: 写像類群の生成元
Dehn-Lickorishの定理により、閉リーマン面 $\Sigma_g$ の写像類群 $\text{MappingClass}(\Sigma_g)$ は、標準的なループに沿う有限個の Dehn ツイスト（Dehn Twists）によって生成される。
特に、種数 1 のトーラス $\Sigma_1$ においては、写像類群は $\text{SL}(2, \mathbb{Z})$ であり、$S$ 変換および $T$ 変換：
$$S = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}, \quad T = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$$
によって生成される。高種数 $\Sigma_g$ においても、各ハンドルに関する局所的な $S$ および $T$ 変換が全体の写像類群の作用を決定する。
Step 2: リボン圏構造とモノドロミー作用の同型性
Huang (2008) の結果より、モジュラー関手が与える平坦接続（TUY/Hitchin接続）のモノドロミー表現 $\rho_\mathcal{C}$ において、局所 Dehn ツイストの作用は MTC の $S$ 行列および $T$ 行列の作用と代数的に完全に一致する：
$$\rho_\mathcal{C}(T) = T^\mathcal{C} = \text{diag}(\theta_i)_{i \in I_\mathcal{C}}, \quad \rho_\mathcal{C}(S) = S^\mathcal{C}$$
双対な圏 $\mathcal{D}$ について、主定理の双対性前提条件より：
$$\theta_{i^\dagger} = (\theta_i)^{-1}, \quad S^\mathcal{D}_{i^\dagger, j^\dagger} = \overline{S^\mathcal{C}_{i, j}}$$
表現論において、ベクトル空間 $V$ への作用 $M$ に対し、双対空間 $V^*$ への転置逆作用（Dual representation）は ${}^t M^{-1}$ で与えられる。
$T$ 変換の双対作用について：
$$({}^t T^\mathcal{D})^{-1}_{i^\dagger, j^\dagger} = \delta_{i^\dagger, j^\dagger} (\theta_{i^\dagger})^{-1} = \delta_{i, j} \theta_i = T^\mathcal{C}_{i, j}$$
$S$ 変換について、$S$ 行列はユニタリかつ対称 $S^{-1} = S^{\dagger} = \overline{S}$ であるから：
$$({}^t (S^\mathcal{D}))^{-1} = ({}^t \overline{S^\mathcal{C}})^{-1} = ((S^\mathcal{C})^*)^{-1} = S^\mathcal{C}$$
Step 3: 大域的可換性の帰結
すべての生成元 $\gamma \in \text{MappingClass}(\Sigma_g)$ に対して、作用が同型射 $\Phi_g$ を通じて可換となる：
$$\Phi_g \circ \rho_\mathcal{C}(\gamma) = \rho_\mathcal{D}^*(\gamma) \circ \Phi_g$$
この可換性により、補題 C における幾何学的ノード分解（縫合の順序やループの取り方）の依属性が完全に解消され、$\Phi_g$ は曲線 $\Sigma_g$ 上の大域的な共形ブロック束の幾何学的同型射を与える。
（証明終）
以上の 補題 A, B, C, D の証明の完了により、**一般化された黒木Strange Duality定理の完全な証明が完結**しました。